#!/bin/bash

echo -D Trilinos_ENABLE_Teuchos=$1
